Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
371	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
372	Presentation Plan →History and origins of parallel models for Eas →Design Issues of a Parallel Model →Canonical parallel models → Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-06-21 16:40:25 Mathematics Search algorithms Numerical analysis Theoretical computer science Genetic algorithm Evolutionary algorithm Parallel computing Distributed computing Evolutionary computation Cybernetics Mathematical optimization Applied mathematics
373	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
374	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
375	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
376	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
377	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
378	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science
379	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
380	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency

UPDATE